Философский словарь - математическая-логика
Связанные словари
Рейтинг статьи:
См. в других словарях
1.
один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями. Предыстория М.Л. связана с именами Аристотеля, Р. Луллия, Дж. Буля (1815-1864), создавшего ее аппарат; Фреге, развившего логико-математические языки; Дж. Пеа-но (1858-1932), попытавшегося изложить разделы математики на языке логики. В основании всех исканий лежало стремление создать специальное счетное устройство (прообраз компьютерных систем) и соответствующий техническим вычислениям язык передачи информации. Второй важной проблемой М.Л. является выбор исходных понятий и их обоснование. В конце 19 ст. казалось, что исходным может быть понятие множества; эта точка зрения была детерминирована эффектом от самого факта появления теории множеств как новой области математики (Б. Больцано, Г. Кантор). Рефлексия над феноменом множеств привела к обнаружению парадоксов в теории множеств. (Одним из тех, кто пытался "спасти" математику от этой проблемы был Д. Гильберт). С 20-х 20 в. начинается современный этап...Новейший философский словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2030 | |
2 | 1506 | |
3 | 1244 | |
4 | 1126 | |
5 | 1112 | |
6 | 1006 | |
7 | 964 | |
8 | 840 | |
9 | 838 | |
10 | 800 | |
11 | 784 | |
12 | 736 | |
13 | 736 | |
14 | 710 | |
15 | 673 | |
16 | 672 | |
17 | 604 | |
18 | 592 | |
19 | 555 | |
20 | 534 |